#ifndef __BSP_H__
#define	__BSP_H__

INT32U  OS_CPU_SysTickClkFreq (void);
void BSP_Init();

#endif